Mathematical foundations of computer science . Peter A. Fejer, Dan A. Simovici. Volume I, Sets, relations, and induction.
por Fejer, Peter A | Simovici, Dan A.
Editor: New York : Springer-Verlag, c1991Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 004 FEJ.
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.).
por Aichernig, Bernhard K, 1969- | Maibaum, Thomas S E, 1947- | International Institute for Software Technology.
Editor: Berlin ; Springer-Verlag, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 FOR.
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures Ana Bove ... [et al.] (eds.).
por LerNet ALFA Summer School Piriapolis, Uruguay) (2008 | Bove, Ana.
Editor: Berlin ; Springer, c2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.13 LAN.
CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings Roberto Amadio, Denis Lugiez, eds.
por CONCUR 2003 Marseille, France) (2003 | Amadio, Roberto M | Lugiez, Denis.
Editor: Berlin ; Springer, c2003Otro título: CONCUR 2003..Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 004.35 CON.
Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy.
por Dowek, Gilles | Lévy, Jean-Jacques.
Editor: London : Springer, c2011Acceso en línea: Para acceder al texto completo, ingrese aquí al Servicio de descubrimiento de EBSCOhost desde la red de la UNQ. Seleccione EBSCOhost Research Databases y busque el título deseado. Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (3). Ubicación(es): 005.131 DOW.
ECOOP 2002-object-oriented programming : 16th European Conference, Málaga, Spain, June 10-14, 2002 : proceedings / Boris Magnusson (ed.).
por ECOOP (Conferencia) (16 : 2002 : Málaga, España) | Magnusson, Boris [ed.] .
Editor: Berlin ; New York : Springer, c2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.117 ECO.
ECOOP 2003 - Object-oriented programmings : 17th European conference, Darmstadt, Germany, july 2003 Proceedings / Luca Cardelli (Ed.)
por ECOOP (Conferencia) (17 : 2003 : Darmstadt, Alemania) | Cardelli, Luca [ed.] .
Editor: Berlín : Springer, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.117 ECO.